In Javadoc configuration window when I enter a
backslash (\) in "Source files path list" entry of Paths
section, or in "Destination directory" of Directories
section (for example to escape ":" character in a
windows path) all is right, but next time i want to use
javadoc plugin the backslash is duplicated.
Each time i open javadoc plugin configuration window
the number of backslash grows up, and jEdit slow down.
Currently my jdoc.settings file have a size of 4MB with
two very long lines:
...
settings.jdoc.destination=C\\\...\\\\\:/RRA/clases
...
settings.jdoc.sourcepath=C\\\...\\\\\:/RRA/doc
...
I am using the last versions of jEdit and javadoc plugin.
Submitted | rralonso - 2003-06-06 - 10:35:59z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |